“Special Witness” – Between a Witness and Suspect
نویسندگان
چکیده
منابع مشابه
Delegateable Signature Using Witness Indistinguishable and Witness Hiding Proofs
A delegateable signature scheme is a signature scheme where the owner of the signing key(Alice) can securely delegate to another party(Bob) the ability to sign on Alice’s behalf on a restricted subset S of the message space. Barak first defined and constructed this signature scheme using non-interactive zero-knowledge proof of knowledge(NIZKPK)[1]. In his delegateable signature scheme, the func...
متن کاملRecalling a Witness
type ref t = id:N{witnessed (has_a_t id t)} let has (id:N) (H h _) = match h id with Used _ _ (Untyped _)→⊤ | _→⊥ abstract type uref = id:N{witnessed (has id)}type uref = id:N{witnessed (has id)} To enforce these invariants on state-manipulating operations, we define a preorder rel on heap, that constrains the heap evolution. It states that every Used identifier remains Used; every Typed refere...
متن کاملWitness Sets
Given a set C of binary n-tuples and c ∈ C, how many bits of c suffice to distinguish it from the other elements in C ? We shed new light on this old combinatorial problem and improve on previously known bounds.
متن کاملMaterial witness: A quick fix.
M AERIA L W TN SS Delicately patterned microand nanostructures can be produced without the need for laborious fabrication, by relying on physical forces to organize materials spontaneously into intricate forms. The capacity of soft materials such as surfactants and block copolymers to self-organize into regular patterns has been long recognized1–3, and superlattices and other ordered arrays in ...
متن کاملThe WITNESS Toolbox - a Tutorial
Advanced simulation software packages can no longer stand alone. Simulation professionals are demanding a toolbox of advanced capabilities and add-on products to allow quick and efficient model building, enhanced graphical displays, and accelerated experimentation and optimization procedures. With the release of WITNESS Release 9, upgrades to the WITNESS VR virtual reality module and Optimizer ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Teisė
سال: 2020
ISSN: 2424-6050,1392-1274
DOI: 10.15388/teise.2020.114.2